『[2021CAPE公開セミナー] 論理学上級 Ⅱ-2「カリー・ハワード対応と『証明のデータ型としての命題』観」』
↑
CAPE公開セミナー
『[2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」 』
← →
『[2021CAPE公開セミナー]論理学上級 Ⅱ-3 証明論的意味論としてのマーティン・レーフの構成的型理論』
https://www.youtube.com/watch?v=q02uYIc0s6g